* xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it
authorJim Blandy <jimb@redhat.com>
Sun, 16 May 1993 01:32:11 +0000 (01:32 +0000)
committerJim Blandy <jimb@redhat.com>
Sun, 16 May 1993 01:32:11 +0000 (01:32 +0000)
commit584d06343263dd79481d91292722e60848840174
tree8a47e01bc965c7ee3922fb4a871fbb220e643f71
parent9b5283804a00d19d089aff40bacc33677453dfa1
* xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it
knows something has changed.
src/xfaces.c